![arxiv：2401.04875v1 [CS.SE] 2024年1月10日](/simg/8/824715e11e174127077f7ac81d15b451baebe585.webp)
机构名称：
¥ 1.0
摘要。确保自动驾驶汽车（AV）的安全是他们在社会中接受的关键。这种复杂性是通过在各种情况下使用基于AI的黑盒控制器和周围物体正式证明其安全条件的核心挑战。本文用事件-B进行机械措施来描述我们在建模，得出和证明AV的安全条件方面的策略和经验，以降低复杂性。我们的案例研究针对目标感知责任敏感安全的最先进模型，以争论与周围车辆的相互作用。我们还使用单纯架构来涉及高级黑盒AI控制器。我们的经验表明，可以有效地使用修复机制来逐渐发展复杂的系统。
arxiv：2401.04875v1 [CS.SE] 2024年1月10日
主要关键词
![arxiv：2401.04875v1 [CS.SE] 2024年1月10日PDF文件第1页](/bimg/9/9265d394b48e63b40058c9a23498aada62065a11.webp)
![arxiv：2401.04875v1 [CS.SE] 2024年1月10日PDF文件第2页](/bimg/1/19dc7c7b0ba171d857c4dd51f0d7dd6cc42cd59f.webp)
![arxiv：2401.04875v1 [CS.SE] 2024年1月10日PDF文件第3页](/bimg/d/d8de3cb435ffed5663947dbb33282f57cb5219f0.webp)
![arxiv：2401.04875v1 [CS.SE] 2024年1月10日PDF文件第4页](/bimg/6/6dbaf8a656d51868a4f769e8ee53069c2e505bc3.webp)
![arxiv：2401.04875v1 [CS.SE] 2024年1月10日PDF文件第5页](/bimg/d/d41fbc416a6a0fedc8f48c3e0165ed7803637745.webp)
相关文件推荐
![arxiv：2401.05233v1 [cs.lg] 2024年1月10日](/simg/1/165b5a4a843a79a37ad3922732811d40d501167f.webp)
![arxiv：2401.05152v1 [cs.ro] 2024年1月10日-Orbilu](/simg/e/ef4fd1d7b2f276ecd818e7f6c15dc268bf9d3b44.webp)
![arxiv：2401.00642v1 [CS.CL] 2024年1月1日](/simg/9/933e0c438c3aff6508781cbcc8571c68e57a44d3.webp)
![arxiv：2401.08719v2 [CS.SE] 2024年12月24日](/simg/3/36c6ae886718bbdd1d05551c489d8dfb561ae4ad.webp)
![arxiv：2401.11194v1 [cs.hc] 2024年1月20日](/simg/1/1a3f9ea1c0460303812f0f826c92b9a3cf68e8e6.webp)
![arxiv：2401.05968v1 [cs.cv] 2024年1月11日](/simg/3/33efe67402bfe23c5057d0aa0708a382552940d6.webp)
![arxiv：2401.06521v1 [cs.cv] 2024年1月12日](/simg/a/ac4e8a79e62bb77bebd81435441586ea29fdf974.webp)
![arxiv：2401.01629v1 [cs.lg] 2024年1月3日](/simg/1/1904bc517d8e8e8c1dd7feb32aa47246b6aebc73.webp)
![arxiv：2401.01814v1 [cs.ai] 2024年1月3日](/simg/9/9e22f37b844b140e65a21cb38f0226d32812aded.webp)
![arxiv：2401.08196v1 [cs.cr] 2024年1月16日](/simg/5/5bb0478276a4b028ca3fad6d478119cce0aad711.webp)
![arxiv：2401.06705v1 [Quant-ph] 2024年1月12日](/simg/1/116e691f70677fe37a4618de363a5823da831b37.webp)
![arxiv：2401.07265v1 [Quant-ph] 2024年1月14日](/simg/e/e05524124b2b8b2904bd1be7db3d54b5351cdf19.webp)
![arxiv：2401.15177v1 [astro-ph.ep] 2024年1月26日](/simg/c/cdea3285fd3fa4e29ea99a2a6e811cd67dc29c68.webp)
![arxiv：2401.04291v1 [hep-ph] 2024年1月9日](/simg/2/2eb580a22e5ba473df6a08b0340d5b8a9d6e2d70.webp)
![arxiv：2401.02355v1 [Quant-ph] 2024年1月4日](/simg/d/d6bdb8f49131806733e5a9ee48e9f7a807f79467.webp)
![arxiv：2401.16208v1 [hep-ph] 2024年1月29日](/simg/c/c892bb3e7837bb02ea448926724b7b4181832ccc.webp)
![arxiv：2401.04838v1 [nucl-ex] 2024年1月9日](/simg/a/a7392fa710e7128873673417b675fdae90533ac3.webp)
![arxiv：2312.07178V2 [CS.LG] 2024年1月22日](/simg/2/2fb0536e5708baf7aa717f35831b978468a63181.webp)
![arxiv：2403.15600V1 [CS.SE] 2024年3月22日](/simg/f/f211fafbaf6cfa1db8b0d4d88da89fc372b22e3a.webp)
![arxiv：2401.11305v3 [CS.CR] 2024年10月28日](/simg/2/23083580b9199c403b25bf4a8f0a0fddf7e0c940.webp)
![arxiv：2308.14663v2 [CS.LO] 2024年1月15日](/simg/4/47b84ad167a03e860b8082de03e6510180fdae2e.webp)
![arxiv：2309.11256v2 [CS.CR] 2024年1月17日](/simg/2/2479c9ef8bca974217922d8cddfbaf0d151f9f65.webp)
![arxiv：2406.08198v1 [CS.SE] 2024年6月12日](/simg/3/3e025842e846c10e9fe5bd5b0620ab6ef4cf5221.webp)
![arxiv：2401.06312v4 [CS.CV] 29 2024年3月29日](/simg/8/8f626a5a2e27417b245caccf424f2faffb5a7963.webp)
![arxiv：2401.01844v1 [cond-mat.str-el] 2024年1月3日](/simg/6/63498544acdbe4553260b977fad19ac9d8359e14.webp)
![arxiv：2401.08279v1 [cond-mat.supr-con] 2024年1月16日](/simg/f/f17eaad8e5ad12084321ea6b9e35eaabe5ef293a.webp)
![arxiv：2207.05631v3 [cs.lg] 2024年1月5日](/simg/4/4c13675cd209f27810e1aa2308c7d3e30a96bd4d.webp)
![arxiv：2402.00059v1 [cs.lg] 2024年1月28日](/simg/d/df4199e81fd68f37b31a66ca712d83262d1423f7.webp)
![arxiv：2401.16635v3 [cs.lg] 2024年10月22日](/simg/e/e568890926ce2fd605f82e93813aebae8f6dbc29.webp)
![arxiv：2401.14907v2 [cs.ro] 2024年11月29日](/simg/0/0d8974404b80c2e87a42eedcdacbe5baabb4b814.webp)